package testing;


import junit.framework.Assert;
import logicaDePredicados.LogicOperator;
import logicaDePredicados.LogicOperatorFactory;
import logicaDePredicados.LogicQuantifier;

import org.junit.Before;
import org.junit.Test;

public class FactoryTest {
	private static LogicOperator or = new LogicOperator("v");
	private static LogicOperator and = new LogicOperator("^");
	private static LogicOperator then = new LogicOperator("->");
	private static LogicOperator not = new LogicOperator("¬");
	private static LogicOperator leftBracket = new LogicOperator ("(");
	private static LogicOperator rightBracket = new LogicOperator (")");
	private static LogicQuantifier essential = new LogicQuantifier(false);
	private static LogicQuantifier existential = new LogicQuantifier(true);
	@Before
	public void setUp() throws Exception {

	}
	@Test
	public void testCase (){
		Assert.assertTrue(and.equals(LogicOperatorFactory.createAND()));
		
	}
}
